Adequate ultrafilters of special Boolean algebras
نویسندگان
چکیده
منابع مشابه
Spectra of Tukey Types of Ultrafilters on Boolean Algebras
Extending recent investigations on the structure of Tukey types of ultrafilters on P(ω) to Boolean algebras in general, we classify the spectra of Tukey types of ultrafilters for several classes of Boolean algebras. These include the classes of free Boolean algebras, superatomic Boolean algebras generated by almost disjoint families, interval algebras, tree algebras, and pseudo-tree algebras. W...
متن کاملA Few Special Ordinal Ultrafilters
We prove various results on the notion of ordinal ultraaters introduced by J. Baumgartner. In particular, we show that this notion of ultraalter complexity is independent of the more familiar Rudin-Keisler ordering. 1. Introduction Interesting ultraalters are those comprising rich combinatorial properties of some sort. Traditional criterions consist of partition relations on the natural numbers...
متن کاملOn the Generic Existence of Special Ultrafilters
We introduce the concept of the generic existence of P-point, Qpoint, and selective ultrafilters, a concept which is somewhat stronger than the existence of these sorts of ultrafilters. We show that selective ultrafilters exist generically iff semiselectives do iff mc = c, and we show that ß-point ultrafilters exist generically iff semiß-points do iff mc — d , where d is the minimal cardinality...
متن کاملSpecial Subsets of Cf(µ) Μ, Boolean Algebras and Maharam Measure Algebras Sh620
The original theme of the paper is the existence proof of “there is η̄ = 〈ηα : α < λ〉 which is a (λ, J)-sequence for Ī = 〈Ii : i < δ〉, a sequence of ideals”. This can be thought of as a generalization to Luzin sets and to Sierpinski sets, but for the product ∏ i<δ Dom(Ii), the existence proofs are related to pcf. The second theme is when does a Boolean algebra B have a free caliber λ (i.e. if X ...
متن کاملRobbins Algebras vs. Boolean Algebras
In the early 1930s, Huntington proposed several axiom systems for Boolean algebras. Robbins slightly changed one of them and asked if the resulted system is still a basis for variety of Boolean algebras. The solution (afirmative answer) was given in 1996 by McCune with the help of automated theorem prover EQP/OTTER. Some simplified and restucturized versions of this proof are known. In our vers...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1972
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1972-0313052-1